Efficient Closure Operators for FCA-Based Classification
نویسندگان
چکیده
منابع مشابه
Generalized Metrics and Their Relevance for FCA and Closure Operators
We provide an approach to generalized metrics that covers various concepts of distance. In particular, we consider functorial maps which are weakly positive. Here, we focus on the supermodular case which generalizes dimension functions. We give a lattice-theoretically based construction for supermodular functorial maps, which generalize those arising from Dempster-Shafer-Theory. Within this fra...
متن کاملUsing FCA for Encoding Closure Operators into Neural Networks
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contributes to the development of methods for transferring present symbolic knowledge into connectionist representations. Motivated by basic ideas from formal concept analysis, we propose two ways of directly encoding closure ...
متن کاملFCA - based service classification to dynamically build efficient software component directories
Component directories index components by the services they offer thus enabling us to rapidly access them. Component directories are also the cornerstone of dynamic component assembly evolution when components fail or when new functionalities have to be added to meet new requirements. This work targets semi-automatic evolution processes. It states the theoretical basis of on-the-fly constructio...
متن کاملClosure Operators for ROBDDs
Program analysis commonly makes use of Boolean functions to express information about run-time states. Many important classes of Boolean functions used this way, such as the monotone functions and the Boolean Horn functions, have simple semantic characterisations. They also have well-known syntactic characterisations in terms of Boolean formulae, say, in conjunctive normal form. Here we are con...
متن کاملClosure Operators for Order Structures
We argue that closure operators are fundamental tools for the study of relationships between order structures and their sequence representations. We also propose and analyse a closure operator for interval order structures.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Artificial Intelligence and Machine Learning
سال: 2020
ISSN: 2642-1577,2642-1585
DOI: 10.4018/ijaiml.2020070105